First-order predicate logic
[计] 一阶谓词逻辑
🧩 词语组成解析
first
[fɝst]
n. 第一，最初;头等;一号，;[乐]高音部;
adv. 最早，最初;首次;宁愿;优先;
adj. 第一流的;最初的，最早的;基本的，概要的;高音的;
num. 第一;
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
predicate
['predikit]
vt. 断言，断定;宣布，宣讲;使基于;
vi. 断言，断定;
n. 谓语;述语;
adj. 谓语的;述语的;
logic
['lɔdʒik]
n. 逻辑，逻辑学;（做某事的）道理;推理方法;威力，压力，强制（力）;
adj. 逻辑的;
🗣️ 情景例句
I need to take a break from studying. Let's get drunk.
我不学习了，得休息一会儿。咱们一醉方休吧。
The above inquiry weas forwarded to you on Oct. 10, but we haven't received your reply until now. Your early offer will be highly appreciated.
上述询价已于10月10日发往你方，可是我们到现在还没收到你方答复，请早日发盘不甚感谢。
Good morning, Mr. Blake.
早上好，布莱克先生。